notebook: Fix wrong tab widgets allocation

Since we allocate the tab widgets on demand, we have to queue an extra
resize here.

diff --git a/gtk/gtknotebook.c b/gtk/gtknotebook.c
index 2a2e8a837a941241c2610ebfb23d934775507083..08b7b3764cd4e7bbef5fd1cf998ac2bfc3466e56 100644 (file)
--- a/gtk/gtknotebook.c
+++ b/gtk/gtknotebook.c
@@ -5425,6 +5425,7 @@ gtk_notebook_real_switch_page (GtkNotebook     *notebook,
   update_arrow_state (notebook);
 
   gtk_widget_queue_resize (GTK_WIDGET (notebook));
+  gtk_widget_queue_resize (priv->tabs_widget);
   g_object_notify_by_pspec (G_OBJECT (notebook), properties[PROP_PAGE]);
 }